Programming Language Support For Automated Testing
نویسنده
چکیده
Testing is a useful and practical way to improve code quality. However, current testing strategies do not have a high degree of automation, and are not well integrated into the programming environment. We propose the design, construction, and evaluation of a new programming language called Sulu that supports fully automatic testing. In this paper, we give an outline of the testing strategy for automatically generating test cases using flowgraphs. We also describe language features considered for the design of the new programming language, and provide evaluation criteria to gauge the success of the project.
منابع مشابه
Programming Language and Tools for Automated Testing
Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a demonstration of how software testing may be more integrated and automated into the software developme...
متن کاملExploring the Relationship Between Web Application Development Tools and Security
How should software engineers choose which tools to use to develop secure web applications? Different developers have different opinions regarding which language, framework, or vulnerability-finding tool tends to yield more secure software than another; some believe that there is no difference at all between such tools. This paper adds quantitative data to the discussion and debate. We use manu...
متن کاملAutomated Java Testing: JUnit versus AspectJ
Growing dependency of mankind on software technology increases the need for thorough testing of the software applications and automated testing techniques that support testing activities. We have outlined our testing strategy for performing various types of automated testing of Java applications using AspectJ which has become the de-facto standard for Aspect Oriented Programming (AOP). Likewise...
متن کاملModel-Based Protocol Testing in an Erlang Environment
Blom, J. 2016. Model-Based Protocol Testing in an Erlang Environment. Uppsala Dissertations from the Faculty of Science and Technology 122. 249 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-554-9494-0. Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc m...
متن کاملThe Sulu Tools for Automated Testing
The Sulu programming language is a programming language inspired by Resolve; it uses the software component and an embedded design-by-contract formal specification as inputs to a unit testing system that provides a framework for automatically generating, executing and evaluating test cases. This paper describes the tools we constructed for the automated testing system, and a summary of an evalu...
متن کامل